Nuprl Lemma : Id_wf
11,40
postcript
pdf
Id
Type
latex
Definitions
t
T
,
Id
origin
Type Type T